SHORT TALKS TO ASSESSORS

Short talks

This talk concerns Dirichlet and Neumann boundary value problems for second order elliptic divergence form equations with non-symmetric, or more general complex, and measurable coefficients independent of the transversal coordinate in the upper half space. I shall discuss some recent results obtained which shows that, in the case of non-symmetric coefficients, the solutions obtained with the bo...

Invited and Short Oral Talks

2015 ABSTRACTS This document is to provide abstracts in a printable format. Sessions and topics have been indicated. Note that some abstracts may have been withdrawn since this documents creation on 2 June 2015. Please refer to one of the following online formats for complete time/date information and updates for the scientific program: SSR Web Site Schedule of Events and/or Scientific Program:...

ML Dependency Analysis for Assessors

Critical software needs to obtain an assessment before commissioning. This assessment is given after a long task of software analysis performed by assessors. They may be helped by tools, used interactively, to build models using information-flow analysis. Tools like SPARK-Ada exist for Ada subsets used for critical software. But some emergent languages such as those of the ML family lack such a...

Plenary Talks

Invited Talks

In 2009, Peter Cameron introduced a common generalization of various classes of combinatorial designs such as balanced incomplete block designs, resolvable designs and orthogonal arrays. Generalized covering and packing designs can be defined in analogous way. These objects bring into this framework further classes of designs, including covering and packing arrays, Howell designs, monogamous cy...